Incorporating Modification Requests in Updating Consistent Knowledge Bases

An important problem that arises when updating a knowledge base is related to integrity constraints maintenance. That is, given a consistent knowledge base and an update request, to obtain all possible ways of updating the base facts such that the request is satisfied and consistency is maintained. In this paper we present a new method for providing automatic support in these situations. Our method takes into account information about the keys of the predicates and it is able to handle updates which consist of a set of insertions, deletions and/or modifications of base and derived predicates.